Description Logics for Documentation

نویسنده

  • Carlo Meghini
چکیده

Much of the activity in a digital library revolves around collecting, organizing and publishing knowledge about the resources of the library, in the form of metadata records. In order to document such activity, digital librarians need to express knowledge about the metadata records they produce. This knowledge, which we call documentation knowledge, may express e.g., provenance, trustability, or access restrictions of the records. Today, documentation knowledge is mostly represented in digital libraries via RDF. We propose a new type of information system, called documentation system, as a basic component of a digital library allowing to represent and reason about both domain and documentation knowledge in an expressive language such as OWL.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Infinitely Valued Gödel Semantics for Expressive Description Logics

Fuzzy Description Logics (FDLs) combine classical Description Logics with the semantics of Fuzzy Logics in order to represent and reason with vague knowledge. Most FDLs using truth values from the interval [0, 1] have been shown to be undecidable in the presence of a negation constructor and general concept inclusions. One exception are those FDLs whose semantics is based on the infinitely valu...

متن کامل

A Boolean Lattice Based Improved Fuzzy Description Logic in Web Computing

Contrasting to Description Logics (DLs), there are some inherent shortcomings in classical fuzzy Description Logics (FDLs). For example, they no longer satisfy the complementary laws. In this paper, to analyze these shortcomings derived from Zadeh semantics, an improved fuzzy set definition using Boolean lattices is approached, whereas, the analogous definition of Zadeh Fuzzy Set can only use a...

متن کامل

Action Hierarchies in Description Logics

Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation formalized by means of plans in a description logic. These plans consist of one or more actions or other plans. This language independent representation is also designed to support the qualitative simulation of the documentation steps and to supp...

متن کامل

Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics

Fuzzy Description Logics (FDLs) combine classical Description Logics with the semantics of Fuzzy Logics in order to represent and reason with vague knowledge. Most FDLs using truth values from the interval [0, 1] have been shown to be undecidable in the presence of a negation constructor and general concept inclusions. One exception are those FDLs whose semantics is based on the infinitely valu...

متن کامل

Action Hierarchies for the Automatic Generation of MultilingualTechnical

Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation. The language independent representation is also designed to allow for the qualitative simulation of the documentation steps and to support the generation of multilingual text by ooering diierent levels of detailed action descriptions for verbali...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015